Quoting the README of the action

A pull request is considered ready when:

1. the required number of review approvals has been given (if enabled in the branch protection rules) and
2. the required checks have passed (if enabled in the branch protection rules) and
3. the pull request is up to date (if enabled in the branch protection rules)

I overwrite the number of required reviews to 0, because "we" automatically approve the merge if all tests are green.

When the pull request is ready, it will automatically be merged. The action
will only wait for status checks that are marked as required in the branch
protection rules

Current output:

Run pascalgn/[email protected]
2023-07-03T09:38:46.738Z INFO  Event name: pull_request
2023-07-03T09:38:47.227Z INFO  Skipping PR update, required label missing: automerge
2023-07-03T09:38:47.228Z INFO  Skipping PR merge, required label missing: dependencies
2023-07-03T09:38:47.228Z INFO  Action result: { mergeResult: 'skipped', pullRequestNumber: 10055 }

If I understand correctly, that means, if if dependencies is added at a later stage of a PR ("PR update"), it is NOT automatically merged. In the udpate case, the label automerge needs to be present.

Adding label "dependencies" (and closing and reopening) to trigger automege

Note that GitHub's automerge functionality is no option for us. Sometimes, we want to have manual merges. Only in the case of version updates, we want to have automatic ones.

https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-auto-merge-for-pull-requests-in-your-repository

Blocked by pascalgn/automerge-action#225 (comment)

I merge nevertheless to fix the label type: dependencies (before this PR used by dependabot) and dependencies (before this PR use by gradle update bot)

We want to keep the rule of two reviewers requried. Thus, we cannot apply pascalgn/automerge-action#200 (comment).

Last commit tries to make use of pascalgn/automerge-action#61.

The build for this PR is no longer available. Please visit https://builds.jabref.org/main/ for the latest build.

Blocked by WyriHaximus/github-action-wait-for-status#141

Closing this because it's not that important and blocked by the other repo

Currently, all auto merge werks. Using GitHub's CLI tool. See https://github.com/JabRef/jabref/blob/main/.github/workflows/automerge.yml.